P-adic Analysis
   HOME

TheInfoList



OR:

In
mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, ''p''-adic analysis is a branch of
number theory Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure mathematics devoted primarily to the study of the integers and arithmetic function, integer-valued functions. German mathematician Carl Friedrich Gauss (1777 ...
that deals with the
mathematical analysis Analysis is the branch of mathematics dealing with continuous functions, limit (mathematics), limits, and related theories, such as Derivative, differentiation, Integral, integration, measure (mathematics), measure, infinite sequences, series (m ...
of functions of ''p''-adic numbers. The theory of complex-valued numerical functions on the ''p''-adic numbers is part of the theory of
locally compact group In mathematics, a locally compact group is a topological group ''G'' for which the underlying topology is locally compact and Hausdorff. Locally compact groups are important because many examples of groups that arise throughout mathematics are loc ...
s. The usual meaning taken for ''p''-adic analysis is the theory of ''p''-adic-valued functions on spaces of interest. Applications of ''p''-adic analysis have mainly been in
number theory Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure mathematics devoted primarily to the study of the integers and arithmetic function, integer-valued functions. German mathematician Carl Friedrich Gauss (1777 ...
, where it has a significant role in
diophantine geometry In mathematics, Diophantine geometry is the study of Diophantine equations by means of powerful methods in algebraic geometry. By the 20th century it became clear for some mathematicians that methods of algebraic geometry are ideal tools to study ...
and
diophantine approximation In number theory, the study of Diophantine approximation deals with the approximation of real numbers by rational numbers. It is named after Diophantus of Alexandria. The first problem was to know how well a real number can be approximated by r ...
. Some applications have required the development of ''p''-adic
functional analysis Functional analysis is a branch of mathematical analysis, the core of which is formed by the study of vector spaces endowed with some kind of limit-related structure (e.g. Inner product space#Definition, inner product, Norm (mathematics)#Defini ...
and
spectral theory In mathematics, spectral theory is an inclusive term for theories extending the eigenvector and eigenvalue theory of a single square matrix to a much broader theory of the structure of operators in a variety of mathematical spaces. It is a result ...
. In many ways ''p''-adic analysis is less subtle than
classical analysis Analysis is the branch of mathematics dealing with continuous functions, limits, and related theories, such as differentiation, integration, measure, infinite sequences, series, and analytic functions. These theories are usually studied in ...
, since the
ultrametric inequality In mathematics, an ultrametric space is a metric space in which the triangle inequality is strengthened to d(x,z)\leq\max\left\. Sometimes the associated metric is also called a non-Archimedean metric or super-metric. Although some of the theorems ...
means, for example, that convergence of
infinite series In mathematics, a series is, roughly speaking, a description of the operation of adding infinitely many quantities, one after the other, to a given starting quantity. The study of series is a major part of calculus and its generalization, math ...
of ''p''-adic numbers is much simpler.
Topological vector space In mathematics, a topological vector space (also called a linear topological space and commonly abbreviated TVS or t.v.s.) is one of the basic structures investigated in functional analysis. A topological vector space is a vector space that is als ...
s over ''p''-adic fields show distinctive features; for example aspects relating to
convexity Convex or convexity may refer to: Science and technology * Convex lens, in optics Mathematics * Convex set, containing the whole line segment that joins points ** Convex polygon, a polygon which encloses a convex set of points ** Convex polytope ...
and the
Hahn–Banach theorem The Hahn–Banach theorem is a central tool in functional analysis. It allows the extension of bounded linear functionals defined on a subspace of some vector space to the whole space, and it also shows that there are "enough" continuous linear f ...
are different.


Important results


Ostrowski's theorem

Ostrowski's theorem, due to
Alexander Ostrowski Alexander Markowich Ostrowski ( uk, Олександр Маркович Островський; russian: Алекса́ндр Ма́ркович Остро́вский; 25 September 1893, in Kiev, Russian Empire – 20 November 1986, in Mont ...
(1916), states that every non-trivial
absolute value In mathematics, the absolute value or modulus of a real number x, is the non-negative value without regard to its sign. Namely, , x, =x if is a positive number, and , x, =-x if x is negative (in which case negating x makes -x positive), an ...
on the
rational number In mathematics, a rational number is a number that can be expressed as the quotient or fraction of two integers, a numerator and a non-zero denominator . For example, is a rational number, as is every integer (e.g. ). The set of all ration ...
s Q is equivalent to either the usual real absolute value or a -adic absolute value.


Mahler's theorem

Mahler's theorem, introduced by
Kurt Mahler Kurt Mahler FRS (26 July 1903, Krefeld, Germany – 25 February 1988, Canberra, Australia) was a German mathematician who worked in the fields of transcendental number theory, diophantine approximation, ''p''-adic analysis, and the geometry of ...
, expresses continuous ''p''-adic functions in terms of polynomials. In any
field Field may refer to: Expanses of open ground * Field (agriculture), an area of land used for agricultural purposes * Airfield, an aerodrome that lacks the infrastructure of an airport * Battlefield * Lawn, an area of mowed grass * Meadow, a grass ...
of characteristic 0, one has the following result. Let :(\Delta f)(x)=f(x+1)-f(x) be the forward
difference operator In mathematics, a recurrence relation is an equation according to which the nth term of a sequence of numbers is equal to some combination of the previous terms. Often, only k previous terms of the sequence appear in the equation, for a parameter ...
. Then for polynomial functions ''f'' we have the
Newton series A finite difference is a mathematical expression of the form . If a finite difference is divided by , one gets a difference quotient. The approximation of derivatives by finite differences plays a central role in finite difference methods for the ...
: :f(x)=\sum_^\infty (\Delta^k f)(0), where :=\frac is the ''k''th binomial coefficient polynomial. Over the field of real numbers, the assumption that the function ''f'' is a polynomial can be weakened, but it cannot be weakened all the way down to mere continuity. Mahler proved the following result: Mahler's theorem: If ''f'' is a continuous
p-adic In mathematics, the -adic number system for any prime number  extends the ordinary arithmetic of the rational numbers in a different way from the extension of the rational number system to the real and complex number systems. The extensi ...
-valued function on the ''p''-adic integers then the same identity holds.


Hensel's lemma

Hensel's lemma, also known as Hensel's lifting lemma, named after
Kurt Hensel Kurt Wilhelm Sebastian Hensel (29 December 1861 – 1 June 1941) was a German mathematician born in Königsberg. Life and career Hensel was born in Königsberg, East Prussia (today Kaliningrad, Russia), the son of Julia (née von Adelson) and lan ...
, is a result in
modular arithmetic In mathematics, modular arithmetic is a system of arithmetic for integers, where numbers "wrap around" when reaching a certain value, called the modulus. The modern approach to modular arithmetic was developed by Carl Friedrich Gauss in his book ...
, stating that if a
polynomial equation In mathematics, an algebraic equation or polynomial equation is an equation of the form :P = 0 where ''P'' is a polynomial with coefficients in some field, often the field of the rational numbers. For many authors, the term ''algebraic equation' ...
has a
simple root Simple or SIMPLE may refer to: *Simplicity, the state or quality of being simple Arts and entertainment * ''Simple'' (album), by Andy Yorke, 2008, and its title track * "Simple" (Florida Georgia Line song), 2018 * "Simple", a song by Johnn ...
modulo a
prime number A prime number (or a prime) is a natural number greater than 1 that is not a product of two smaller natural numbers. A natural number greater than 1 that is not prime is called a composite number. For example, 5 is prime because the only ways ...
, then this root corresponds to a unique root of the same equation modulo any higher power of , which can be found by iteratively "
lift Lift or LIFT may refer to: Physical devices * Elevator, or lift, a device used for raising and lowering people or goods ** Paternoster lift, a type of lift using a continuous chain of cars which do not stop ** Patient lift, or Hoyer lift, mobil ...
ing" the solution modulo successive powers of . More generally it is used as a generic name for analogues for
complete Complete may refer to: Logic * Completeness (logic) * Completeness of a theory, the property of a theory that every formula in the theory's language or its negation is provable Mathematics * The completeness of the real numbers, which implies t ...
commutative rings (including ''p''-adic fields in particular) of the
Newton method In numerical analysis, Newton's method, also known as the Newton–Raphson method, named after Isaac Newton and Joseph Raphson, is a root-finding algorithm which produces successively better approximations to the roots (or zeroes) of a real-va ...
for solving equations. Since ''p''-adic analysis is in some ways simpler than
real analysis In mathematics, the branch of real analysis studies the behavior of real numbers, sequences and series of real numbers, and real functions. Some particular properties of real-valued sequences and functions that real analysis studies include conv ...
, there are relatively easy criteria guaranteeing a root of a polynomial. To state the result, let f(x) be a
polynomial In mathematics, a polynomial is an expression consisting of indeterminates (also called variables) and coefficients, that involves only the operations of addition, subtraction, multiplication, and positive-integer powers of variables. An exa ...
with
integer An integer is the number zero (), a positive natural number (, , , etc.) or a negative integer with a minus sign (−1, −2, −3, etc.). The negative numbers are the additive inverses of the corresponding positive numbers. In the language ...
(or ''p''-adic integer) coefficients, and let ''m'',''k'' be positive integers such that ''m'' ≤ ''k''. If ''r'' is an integer such that :f(r) \equiv 0 \pmod and f'(r) \not\equiv 0 \pmod then there exists an integer ''s'' such that :f(s) \equiv 0 \pmod and r \equiv s \pmod. Furthermore, this ''s'' is unique modulo ''p''''k''+m, and can be computed explicitly as :s = r + tp^k where t = - \frac \cdot (f'(r)^).


Applications


P-adic quantum mechanics

P-adic quantum mechanics is a relatively recent approach to understanding the nature of fundamental physics. It is the application of p-adic analysis to
quantum mechanics Quantum mechanics is a fundamental theory in physics that provides a description of the physical properties of nature at the scale of atoms and subatomic particles. It is the foundation of all quantum physics including quantum chemistry, ...
. The
p-adic number In mathematics, the -adic number system for any prime number  extends the ordinary arithmetic of the rational numbers in a different way from the extension of the rational number system to the real and complex number systems. The extensi ...
s are an intuitive arithmetic system (but geometrically counterintuitive) that was discovered by German mathematician
Kurt Hensel Kurt Wilhelm Sebastian Hensel (29 December 1861 – 1 June 1941) was a German mathematician born in Königsberg. Life and career Hensel was born in Königsberg, East Prussia (today Kaliningrad, Russia), the son of Julia (née von Adelson) and lan ...
in about 1899 and by German mathematician
Ernst Kummer Ernst Eduard Kummer (29 January 1810 – 14 May 1893) was a German mathematician. Skilled in applied mathematics, Kummer trained German army officers in ballistics; afterwards, he taught for 10 years in a '' gymnasium'', the German equivalent of ...
(1810-1893) earlier in elementary form. The closely related adeles and
idele In abstract algebra, an adelic algebraic group is a semitopological group defined by an algebraic group ''G'' over a number field ''K'', and the adele ring ''A'' = ''A''(''K'') of ''K''. It consists of the points of ''G'' having values in ''A''; the ...
s were introduced in the 1930s by
Claude Chevalley Claude Chevalley (; 11 February 1909 – 28 June 1984) was a French mathematician who made important contributions to number theory, algebraic geometry, class field theory, finite group theory and the theory of algebraic groups. He was a foun ...
and André Weil. Their study has now transformed into a major branch of mathematics. They were occasionally applied to the physical sciences, but it wasn't until a publication by the Russian mathematician Volovich in 1987 that the subject was taken seriously in the physics world. There are now hundreds of research articles on the subject,V. S. Vladimirov, I.V. Volovich, and E.I. Zelenov ''P-adic Analysis and Mathematical Physics'', (World Scientific, Singapore 1994)L. Brekke and P. G. O. Freund, ''P-adic numbers in physics'', Phys. Rep. 233, 1-66(1993) along with international journals as well. There are two main approaches to the subject. The first considers particles in a p-adic potential well, and the goal is to find solutions with smoothly varying complex-valued wavefunctions. Here the solutions are to have a certain amount of familiarity from ordinary life. The second considers particles in p-adic potential wells, and the goal is to find p-adic valued wavefunctions. In this case, the physical interpretation is more difficult. Yet the math often exhibits striking characteristics, therefore people continue to explore it. The situation was summed up in 2005 by one scientist as follows: "I simply cannot think of all this as a sequence of amusing accidents and dismiss it as a 'toy model'. I think more work on this is both needed and worthwhile."


Local–global principle

Helmut Hasse's local–global principle, also known as the Hasse principle, is the idea that one can find an integer solution to an equation by using the
Chinese remainder theorem In mathematics, the Chinese remainder theorem states that if one knows the remainders of the Euclidean division of an integer ''n'' by several integers, then one can determine uniquely the remainder of the division of ''n'' by the product of thes ...
to piece together solutions modulo powers of each different
prime number A prime number (or a prime) is a natural number greater than 1 that is not a product of two smaller natural numbers. A natural number greater than 1 that is not prime is called a composite number. For example, 5 is prime because the only ways ...
. This is handled by examining the equation in the completions of the
rational number In mathematics, a rational number is a number that can be expressed as the quotient or fraction of two integers, a numerator and a non-zero denominator . For example, is a rational number, as is every integer (e.g. ). The set of all ration ...
s: the
real number In mathematics, a real number is a number that can be used to measure a ''continuous'' one-dimensional quantity such as a distance, duration or temperature. Here, ''continuous'' means that values can have arbitrarily small variations. Every real ...
s and the ''p''-adic numbers. A more formal version of the Hasse principle states that certain types of equations have a rational solution
if and only if In logic and related fields such as mathematics and philosophy, "if and only if" (shortened as "iff") is a biconditional logical connective between statements, where either both statements are true or both are false. The connective is bicondi ...
they have a solution in the
real number In mathematics, a real number is a number that can be used to measure a ''continuous'' one-dimensional quantity such as a distance, duration or temperature. Here, ''continuous'' means that values can have arbitrarily small variations. Every real ...
s ''and'' in the ''p''-adic numbers for each prime ''p''.


See also

*
P-adic number In mathematics, the -adic number system for any prime number  extends the ordinary arithmetic of the rational numbers in a different way from the extension of the rational number system to the real and complex number systems. The extensi ...
*
P-adic Teichmüller theory In mathematics, ''p''-adic Teichmüller theory describes the "uniformization" of ''p''-adic curves and their moduli, generalizing the usual Teichmüller theory that describes the uniformization of Riemann surfaces and their moduli. It was intr ...
*
Locally compact space In topology and related branches of mathematics, a topological space is called locally compact if, roughly speaking, each small portion of the space looks like a small portion of a compact space. More precisely, it is a topological space in which ev ...
*
Real analysis In mathematics, the branch of real analysis studies the behavior of real numbers, sequences and series of real numbers, and real functions. Some particular properties of real-valued sequences and functions that real analysis studies include conv ...
*
Complex analysis Complex analysis, traditionally known as the theory of functions of a complex variable, is the branch of mathematical analysis that investigates Function (mathematics), functions of complex numbers. It is helpful in many branches of mathemati ...
*
Hypercomplex analysis In mathematics, hypercomplex analysis is the basic extension of real analysis and complex analysis to the study of functions where the argument is a hypercomplex number. The first instance is functions of a quaternion variable, where the argume ...
* Harmonic analysis


References


Further reading

* * * *
preprint
*A course in p-adic analysis, Alain Robert, Springer, 2000, *Ultrametric Calculus: An Introduction to P-Adic Analysis, W. H. Schikhof, Cambridge University Press, 2007, *P-adic Differential Equations, Kiran S. Kedlaya, Cambridge University Press, 2010, {{DEFAULTSORT:P-Adic Analysis Number theory Fields of mathematical analysis p-adic numbers